Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
541	Horn Clause Solvers for Program Verification Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan and Andrey Rybalchenko Microsoft Research, Software Engineering Institutute Abstract. Several recent symbolic model checking too Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-11 16:07:03 Logic in computer science Formal methods Mathematical logic Predicate logic Rules of inference Resolution Horn clause Predicate transformer semantics Constraint logic programming Theoretical computer science Mathematics Logic
542	A Survey of Industrial Applications of Formal Methods Professor Peter Gorm Larsen Engineering College of Aarhus () Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-10 09:34:32 Theoretical computer science Vienna Development Method Formal specification John Fitzgerald Life-critical system Software development process SIGNAL Analysis Formal methods Software development Science
543	Microsoft Word - FormalismAndIntuition.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2013-07-03 05:53:32 Abstraction Formal sciences Philosophy of mathematics Reasoning Systems Reason Complexity Formal methods Logic Science Knowledge Ethology
544	Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya Trusted Systems and Software, Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:52:26 Software engineering Common Criteria Science Knowledge ISO standards Methodology Software development process
545	Goanna — A Static Model Checker Ansgar Fehnker1 , Ralf Huuck1 , Patrick Jayet2? , Michel Lussenburg2∗ , and Felix Rauch1 1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-07-26 05:56:22 Theoretical computer science Formal methods Applied mathematics Program analysis Model checking Formal verification Static program analysis Abstract interpretation Red Lizard Software Model checkers Software NuSMV
546	Curriculum Vitae Joost-Pieter Katoen March 18, 2010 Personal details Name : Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2010-07-26 09:37:27 Scientific modelling Formal methods Science Knowledge Ethology Model checking RWTH Aachen University Computer Aided Verification
547	Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina, Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 NP-complete problems Alloy Analyzer Massachusetts Institute of Technology Recreational mathematics Alloy N1 road N postcode area Sudoku Boolean satisfiability problem Theoretical computer science Mathematics Formal methods
548	Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Dr Yuan Feng Approved Add to Reading List Source URL: arc.gov.au Language: English - Date: 2010-11-08 23:01:00 Zhu Feng WP Formal methods Predicate transformer semantics Program logic
549	WP 0.6 (Draft Manual) WP Plug-in (Draft) Manual Version 0.6 for OxygenPatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Predicate transformer semantics Software Logic in computer science Hoare logic Frama-C Precondition Lambert W function Program logic Theoretical computer science Formal methods
550	R E ACT ! An Interactive Tool for Hybrid Planning in Robotics Zeynep Dogmus, Volkan Patoglu and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, ˙Istanbul, Turkey Email: {zeynepdogmus,vpatogl Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Logic programming Automated planning and scheduling Formal methods Reasoning Action description language Answer set programming Action language Algorithm Boolean satisfiability problem Theoretical computer science Applied mathematics Artificial intelligence

UPDATE